Explanation and Subsumption

Subsumption And Connection Graphs

A s u b s u m p t i o n t e s t b a s e d o n t h e p r i n c i p a l i d e a o f K o w a l s k i ' s c o n n e c t i o n g r a p h p r o o f p r o c e d u r e i s d e v e l o p e d . I n c o n t r a s t t o t h e s t a n d a r d t e s t t h i s new t e s t i s s u f f i c i e n t l y e f f i c i e n t t o p e r m i t t h e u n r e s t r i c t e d use o f t h e s u b s u m p t i o n r u l e i n...

Explaining Subsumption and Patching Non-Subsumption with Tableaux Methods

Explaining Subsumption and Unsatisfiability Our approach follows the idea of adapting a tableaux algorithm for explaining subsumption and unsatisfiability as suggested in [1, 4]. The explanation follows the proof and uses the structure of a tableaux tree for the production of natural-language explanations. Our method covers the DL SHIN including GCIs. We rely on a data structure for annotated t...

Identity and Subsumption

The intuitive simplicity of the so-called is-a (or subsumption) relationship has led to widespread ontological misuse. Where previous work has focused largely on the semantics of the relationship itself, we concentrate here on the ontological nature of its arguments, in order to tell whether a single is-a link is ontologically well-founded. For this purpose, we introduce some techniques based o...

Subsumption Robotics

Temporal Attributes: Status and Subsumption

Representing data that changes over time in conceptual data models is required by various application domains, and requires a language that is expressive enough to fully capture the operational semantics of the time-varying information. Temporal modelling languages typically focus on representing and reasoning over temporal classes and relationships, but have scant support for temporal attribut...